(push_key_description): Ignore bits above meta_modifier.

diff --git a/src/keymap.c b/src/keymap.c
index 11a48e2c23592997b027e77453c9d44f5fe4fc1f..2be4b81d8412e07d5ea29c165f6b1e2ad0c5706d 100644 (file)
--- a/src/keymap.c
+++ b/src/keymap.c
@@ -1139,6 +1139,9 @@ push_key_description (c, p)
      register unsigned int c;
      register char *p;
 {
+  /* Clear all the meaningless bits above the meta bit.  */
+  c &= meta_modifier | ~ - meta_modifier;
+
   if (c & alt_modifier)
     {
       *p++ = 'A';